Celestin Apprentice 5/Apprentice-Release5.iso/Source Code/C/Applications/GW AdaEd 1.4.2/GWAdaDemos/GWU Demos/phil.ads

Text File | 1995-04-09 | 379 b | 18 lines | [TEXT/GADA]

--::::::::::
--phil.ads
--::::::::::
PACKAGE Phil IS

  TASK TYPE Philosopher IS

    ENTRY Come_To_Life (My_ID :      Positive;
                        Chopstick1 : Positive;
                        Chopstick2 : Positive);

  END Philosopher;

  TYPE States IS (Breathing, Thinking, Eating, Done_Eating,
                    Got_One_Stick, Got_Other_Stick);

END Phil;